$\forall$$k$:$\mathbb{N}$, $X$:($\mathbb{N}\rightarrow\mathbb{Q}$), $y$:($\mathbb{Q}$ List). ($k$ $\leq$ $\parallel$$y$$\parallel$) $\Rightarrow$ (q{-}linear($k$;$j$.$X$($j$);$y$) $\in$ $\mathbb{Q}$)